- 2 402 202 книги
- Поиск
Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th ... Computer Science and General Issues)
Автор: Rudolf Berghammer, Автор: Ali Mohamed Jaoua, Автор: Bernhard MollerКатегория: Компьютеры
Размер книги: 3.77 Mb
Introduction to Metamathematics (Bibliotheca Mathematica) (Bibliotheca Mathematica)
Автор: S.C. KleeneКатегория: Математика
Размер книги: 11.21 Mb
Mathematical Logic
Автор: Stephen Cole KleeneКатегория: Математика, Прикладная математика
Размер книги: 4.05 Mb
The Foundations of Intuitionistic Mathematics (Studies in Logic and the Foundations of Mathematics, 39)
Автор: Stephen Cole Kleene, Автор: Richard Eugène Vesley
Размер книги: 9.79 Mb
The Kleene symposium: Proceedings Madison, 1978
Автор: Stephen C. Kleene, Автор: Jon Barwise, Автор: H. Jerome Keisler, Автор: Kenneth Kunen, Автор: University of Wisconsin--Madison, Автор: 1978 Kleene Symposium
Размер книги: 2.82 Mb
The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Автор: Stephen C. Kleene, Автор: Jon Barwise, Автор: H. Jerome Keisler, Автор: Kenneth Kunen, Автор: University of Wisconsin--Madison, Автор: 1978 Kleene Symposium
Размер книги: 4.95 Mb
Relational and Kleene-Algebraic Methods in Computer Science
Автор: Berghammer R. (Ed), Автор: Struth G. (Ed), Автор: Miller B.
Размер книги: 7.53 Mb
Relational and Kleene-algebraic methods in computer science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene AlgebrAuthor: R Berghammer; Bernhard Möller; Georg Struth
Автор: R. Berghammer, Автор: Bernhard Möller, Автор: Georg Struth
Размер книги: 5.80 Mb
Relations and Kleene Algebra in Computer Science, 9 conf., RelMiCS-AKA 2006
Автор: Renate A. SchmidtКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.12 Mb
Relations and Kleene Algebra in Computer Science, 10 conf., and 5 conf
Автор: Rudolf Berghammer, Автор: Bernhard Möller, Автор: Georg StruthКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.47 Mb
Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International ... Papers
Автор: R. Berghammer, Автор: Bernhard Möller, Автор: Georg Struth
Размер книги: 2.92 Mb
The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions
Автор: Stephen Cole Kleene, Автор: R.E. VesleyКатегория: Mathematical logic
Размер книги: 1.59 Mb
Collected works. Publications 1929-1936
Автор: Kurt Gödel, Автор: Solomon Feferman, Автор: John W. Dawson Jr., Автор: Stephen C. Kleene, Автор: Gregory H. Moore, Автор: Robert M. Solovay, Автор: Jean van HeijenoortКатегория: Mathematical logic
Размер книги: 4.26 Mb
Collected works. Publications 1938-1974
Автор: Kurt Gödel, Автор: S. Feferman, Автор: John W. Dawson Jr., Автор: Stephen C. Kleene, Автор: G. Moore, Автор: R. Solovay, Автор: the late Jean van HeijenoortКатегория: Mathematical logic
Размер книги: 3.42 Mb
Collected Works: Volume I: Publications 1929-1936
Автор: Kurt Gödel, Автор: Solomon Feferman, Автор: John W. Dawson Jr., Автор: Stephen C. Kleene, Автор: Gregory H. Moore, Автор: Robert M. Solovay, Автор: Jean van HeijenoortКатегория: Математика
Размер книги: 26.18 Mb
Turing's Analysis of Computability and Major Applications of it (Oxford
Автор: Stephen C Kleene
Размер книги: 1.74 Mb
Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)
Автор: Kurt Gödel, Автор: Solomon Feferman, Автор: John W. Dawson Jr., Автор: Stephen C. Kleene, Автор: Gregory H. Moore, Автор: Robert M. Solovay, Автор: Jean van Heijenoort
Размер книги: 13.27 Mb
